and Computation - PDFSEARCH.IO - Document Search Engine

and Computation
Results: 3364

#	Item
491	Ten principles of citizen science Citizen science is a flexible concept which can be adapted and applied within diverse situations and disciplines. The statements below were developed by the ‘Sharing best practice and Add to Reading List Source URL: www.wilsoncenter.org Language: English - Date: 2016-04-01 13:02:22 Academic publishing Data publishing Open access Citizen science Crowdsourcing Human-based computation Data sharing Science Science Communication Observatory Open science
492	Argenter, J. A., & Llisterri, JIntroduction. In Workshop on Language, Cognition and Computation: Lectures. Barcelona, November 25-26, 1993 (p. 9). Barcelona: Institut d’Estudis Catalans - Fundació Catalana p Add to Reading List Source URL: liceu.uab.es - Date: 2016-08-05 04:57:25
493	Economics and Computation ECONand CPSCProfessor Dirk Bergemann and Professor Joan Feigenbaum Lecture IV Add to Reading List Source URL: zoo.cs.yale.edu Language: English - Date: 2008-10-07 04:07:53 Complexity classes Computational complexity theory Boolean algebra Structural complexity theory NP-complete problems Boolean satisfiability problem NP PP Reduction True quantified Boolean formula Exponential time hypothesis P
494	Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat University of California, San Diego {ckillian, jwanderson, jhala, vahdat}@ Add to Reading List Source URL: www.macesystems.org Language: English - Date: 2007-03-11 23:28:24 Concurrent computing Liveness Safety Model checking Random walk Concurrency Models of computation
495	Computational Modeling, Formal Analysis, and Tools for Systems Biology Add to Reading List Source URL: www.eziobartocci.com Language: English - Date: 2016-02-05 19:02:40 Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net
496	dCUDA: Hardware Supported Overlap of Computation and Communication Tobias Gysi Jeremia B¨ar Add to Reading List Source URL: htor.inf.ethz.ch Language: English - Date: 2016-08-10 18:43:51 Parallel computing GPGPU CUDA Thread Kepler Compute kernel OpenMP Graphics processing unit Map Cell Synchronization Message Passing Interface
497	Quantum Architechtures and Computation Group Microsoft Research Redmond, WAB Í fernandobrandao.org Add to Reading List Source URL: fernandobrandao.org Language: English - Date: 2016-05-02 02:32:18 Quantum information science Quantum mechanics Quantum information Quantum cryptography Quantum entanglement Institute for Quantum Computing John Watrous Nicolas Gisin
498	Crowdsourcing Workshop: The Emergence of Affective Crowdsourcing Robert Morris MIT Media Lab 75 Amherst St Cambridge, MA 02139 Add to Reading List Source URL: crowdresearch.org Language: English - Date: 2011-03-24 21:28:48 Human-based computation Emotion Neuropsychology Crowdsourcing Religion and science Rosalind Picard Affective computing Affective science Affect Amazon Mechanical Turk
499	A Statically Allocated Parallel Functional Language Alan Mycroft1,2 and Richard Sharp2 1 Computer Laboratory, Cambridge University Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:01 Recursion Computability theory Theory of computation Subroutines Lambda calculus Primitive recursive function Fold Mutual recursion Higher-order function Type system
500	Designing and Building Applications for Extreme Scale Systems CS598 William Gropp www.cs.illinois.edu/~wgropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-14 21:48:04 Parallel computing Free software Numerical linear algebra Bill Gropp MPICH Portable Extensible Toolkit for Scientific Computation Educational technology Central processing unit Message Passing Interface

UPDATE